pure interface of class pizza.lang.ListBuffer<A>

public final class ListBuffer<A>
{
    public ListBuffer();
    public int length();
    public synchronized void setLength(int n);
    public synchronized void remove(int n);
    public synchronized ListBuffer<A> append(A elem);
    public synchronized ListBuffer<A> prepend(A elem);
    public synchronized ListBuffer<A> insert(int offset,
                                             A elem);
    public A getAt(int offset);
    public synchronized ListBuffer<A> setAt(int offset,
                                            A elem);
    public Enumeration<A> elements();
    public List<A> toList();
    public String toString();
}